proof theory meaning in Chinese
证蜜
证明论
Examples
- The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory
将证明论方法引入到xml中，建立了基于xml的证明论。 - Applying the methods of gray system synthesize evaluation and proof theories , got the outburst dangerous grade samples
在此基础上，提出了危险信度的概念，用以衡量突出矿井危险程度，编制了神经网络，并对其进行训练。 - The author anticipate future of constitutionlism building in china and proof theory of constitution chang , recruitment and explanation . at the same time
预测了我国宪政建设的趋势，论述了现行宪法应修改、补充的内容及解释原理。 - A clause is formalized as a relational algebra expression and evaluated by employment of relational algebra operations . 3 . the proof theory based on xml is presented
提出了利用关系代数运算实现xml查询子句求值的方法，并证明了该方法的正确性。 - Based on the characteristics of measurement safety inspection system for railway freight transportation under the condition of electrification and informationization , the essay the nessity to apply lightning proof by modern proof theory , and introduces the integrated lighting proof technology
摘要针对电气化、信息化条件下铁路货运计量安全检测系统的特点，利用现代防雷理论分析对其进行雷电防护的必要性，并对其综合防雷技术进行了相应介绍。